Knihy od autora Joost-Pieter Katoen

Zobrazeno 1 – 7 z 7 výsledků

1. 

   Formal Methods

   Marsha Chechik, Joost-Pieter Katoen, Martin Leucker | Springer, Berlin, 2023

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3037 Kč

   Koupit
2. 

   CONCUR 2011 -- Concurrency Theory

   Joost-Pieter Katoen, Barbara König | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Skladem u dodavatele - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1565 Kč

   Koupit
3. 

   Model-Based Testing of Reactive Systems

   Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
4. 

   ModelEd, TestEd, TrustEd

   Joost-Pieter Katoen, Rom Langerak, Arend Rensink | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
5. 

   Lectures on Formal Methods and Performance Analysis

   Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen | Springer, Berlin, 2001

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
6. 

   Dependable Software Engineering. Theories, Tools, and Applications

   Nan Guan, Joost-Pieter Katoen, Jun Sun | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
7. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Joost-Pieter Katoen, Perdita Stevens | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit

Nejpopulárnější internetové knihkupectví. Zjistěte více